The Structure of Logarithmic Advice Complexity Classes
نویسندگان
چکیده
A nonuniform class called here Full-P/log, due to Ko, is studied. It corresponds to polynomial time with logarithmically long advice. Its importance lies in the structural properties it enjoys, more interesting than those of the alternative class P/log; speciically, its introduction was motivated by the need of a logarithmic advice class closed under polynomial-time deterministic reductions. Several characterizations of Full-P/log are shown, formulated in terms of various sorts of tally sets with very small information content. A study of its inner structure is presented, by considering the most usual reducibilities and looking for the relationships among the corresponding reduction and equivalence classes deened from these special tally sets.
منابع مشابه
Characterizations of Logarithmic Advice Complexity Classes
The complexity classes P=log and Full-P=log, corresponding to the two standard forms of logarithmic advice for polynomial time, are studied. The novel proof technique of \doubly exponential skip" is introduced, and characterizations for these classes are found in terms of several other concepts, among them easy-to-describe boolean circuits and reduction classes of tally sets with high regularit...
متن کاملLogarithmic Advice Classes
Karp and Lipton [11] introduced the notion of non-uniform complexity classes where a certain amount of additional information, the advice, is given for free. The advice only depends on the length of the input. Karp and Lipton initiated the study of classes with either logarithmic or polynomial advice; however later researchers [24, 19, 2, 14] concentrated on the study of classes of the form C/p...
متن کاملReening Logical Characterizations of Advice Complexity Classes 1
Numerical relations in logics are known to characterize, via the nite models of their sentences, polynomial advice nonuniform complexity classes. These are known to coincide with reduction classes of tally sets. Our contributions here are: 1/ a reenement of that characterization that individualizes the reduction class of each tally set, and 2/ characterizing logarithmic advice classes via numer...
متن کاملRe ning Logical Characterizations of AdviceComplexity Classes 1
Numerical relations in logics are known to characterize, via the nite models of their sentences, polynomial advice nonuniform complexity classes. These are known to coincide with reduction classes of tally sets. Our contributions here are: 1/ a reenement of that characterization that individualizes the reduction class of each tally set, and 2/ characterizing logarithmic advice classes via numer...
متن کاملModulo Classes and Advice
We prove an upper bound on computing advice for a language A in the class of languages acceptable in deterministic polynomial time with logarithmic advice, A 2 P=log), relative to A itself. We then provide conditions under which advice for a language A 2 P=log can be computed in PF(A), and conditions for the existence of a set A in P=log without advice in PF(A). We show that paddable languages ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 207 شماره
صفحات -
تاریخ انتشار 1998